Mewn damcaniaeth setiau, math penodol o rhif yw trefnolyn (hefyd rhif trefnol neu drefnolyn traws-feidraidd). Fe'u cyflwynwyd gyntaf ym 1897 gan Georg Cantor. Maent yn estyniad o'r rhifau naturiol sy'n wahanol i'r cyfanrifau a'r rhifolion.
Llwyr-drefniad gydag anwythiad traws-feidraidd yw iawn-drefniad. Gallem feddwl am drefnolion fel dosbarthiadau cyfwerthedd o setiau wedi eu llwyr-drefnu, lle mai isomorffedd trefn yw'r perthynas cyfwerthedd. Cymerwn mai set y trefnolion sy'n llai nag ef yw pob trefnolyn. Gallwn ddosbarthu trefnolion yn sero, trefnolion olynyddion, a threfnolion terfannau. Gellir diffinio adio, lluosi ac esbonyddu trefnolion. Gellir mynegi unrhyw drefnolyn mewn ffurf safonol Cantor. Mae sawl trefnolyn i bob rhifolyn anfeidraidd. Mae yna dopoleg naturiol ar y trefnolion.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search